Recent Advances in Declarative Networking

Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a dataflow framework for execution. This paper describes recent advances in declarative networking, tracing its evolution from a rapid prototyping framework towards a platform that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. In particular, the paper focuses on the use of declarative networking for addressing four main challenges in the distributed systems development cycle: the generation of safe routing implementations, debugging, security and privacy, and optimizing distributed systems. Disciplines Computer Sciences Comments Loo, B., Gill, H., Liu, C., Mao, Y., Marczak, W., Sherr, M., Wang, A., & Zhuo, W., Recent Advances in Declarative Networking, Practical Aspects of Declarative Languages-14th International Symposium, PADL 2012, Jan. 2012, doi: 10.1007/978-3-642-27694-1_1 Author(s) Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, and Wenchao Zhuo This conference paper is available at ScholarlyCommons: http://repository.upenn.edu/cis_papers/690 Recent Advances in Declarative Networking Boon Thau Loo Harjot Gill Changbin Liu Yun Mao William R. Marczak Micah Sherr Anduo Wang Wenchao Zhou 1 University of Pennsylvania 2 AT&T Labs Research 3 University of California Berkeley 4 Georgetown University {boonloo,gillh,cliu,anduo,wenchaoz}@cis.upenn.edu [email protected] [email protected] [email protected] Abstract. Declarative networking is a programming methodology that Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a dataflow framework for execution. This paper describes recent advances in declarative networking, tracing its evolution from a rapid prototyping framework towards a platform that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. In particular, the paper focuses on the use of declarative networking for addressing four main challenges in the distributed systems development cycle: the generation of safe routing implementations, debugging, security and privacy, and optimizing distributed systems.